18 ideas
15527 | Defining terms either enables elimination, or shows that they don't require elimination [Lewis] |
10653 | Maybe set theory need not be well-founded [Varzi] |
10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
15530 | A logically determinate name names the same thing in every possible world [Lewis] |
15531 | The Ramsey sentence of a theory says that it has at least one realisation [Lewis] |
15528 | A Ramsey sentence just asserts that a theory can be realised, without saying by what [Lewis] |
15526 | There is a method for defining new scientific terms just using the terms we already understand [Lewis] |
15529 | It is better to have one realisation of a theory than many - but it may not always be possible [Lewis] |
15666 | To understand language is to know how to use it to reach shared understandings [Habermas] |